Merge branch 'box_docs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Mon, 21 Dec 2020 15:40:07 +0000 (15:40 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Mon, 21 Dec 2020 15:40:07 +0000 (15:40 +0000)
box: improve documentation

Closes #3499

See merge request GNOME/gtk!2981


Trivial merge